例句與造句

1. It is then possible to compare what happens in the two theories as when only set theoretical language is in use, as long as the definitions appropriate to ZFC are understood to be used in the ZFC context and the definitions appropriate to NFU are understood to be used in the NFU context.
2. In some cases, there are different ways to import the concepts into ZFC and NFU . For example, the usual definition of the first infinite ordinal \ omega in ZFC is not suitable for NFU because the object ( defined in purely set theoretical language as the set of all finite von Neumann ordinals ) cannot be shown to exist in NFU . The usual definition of \ omega in NFU is ( in purely set theoretical language ) the set of all infinite well-orderings all of whose proper initial segments are finite, an object which can be shown not to exist in ZFC . In the case of such imported objects, there may be different definitions, one for use in ZFC and related theories, and one for use in NFU and related theories.
3. In some cases, there are different ways to import the concepts into ZFC and NFU . For example, the usual definition of the first infinite ordinal \ omega in ZFC is not suitable for NFU because the object ( defined in purely set theoretical language as the set of all finite von Neumann ordinals ) cannot be shown to exist in NFU . The usual definition of \ omega in NFU is ( in purely set theoretical language ) the set of all infinite well-orderings all of whose proper initial segments are finite, an object which can be shown not to exist in ZFC . In the case of such imported objects, there may be different definitions, one for use in ZFC and related theories, and one for use in NFU and related theories.
4. It's difficult to find set theoretical language in a sentence. 用set theoretical language造句挺難的